Require Import List  ZArith RelationClasses Morphisms
              Extraction.
              
Open Scope Z_scope.
Print Scope Z_scope.
Check 33%nat.